This monograph strives to introduce a solid foundation on the usage of Grobner bases in ring theory by focusing on noncommutative associative algebras defined by relations over a field K. It also reveals the intrinsic structural properties of Grobner bases, presents a constructive PBW theory in a qu[...]